Published in: LIPIcs, Volume 74, 31st European Conference on Object-Oriented Programming (ECOOP 2017)
Weili Fu, Roly Perera, Paul Anderson, and James Cheney. muPuppet: A Declarative Subset of the Puppet Configuration Language. In 31st European Conference on Object-Oriented Programming (ECOOP 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 74, pp. 12:1-12:27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{fu_et_al:LIPIcs.ECOOP.2017.12, author = {Fu, Weili and Perera, Roly and Anderson, Paul and Cheney, James}, title = {{muPuppet: A Declarative Subset of the Puppet Configuration Language}}, booktitle = {31st European Conference on Object-Oriented Programming (ECOOP 2017)}, pages = {12:1--12:27}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-035-4}, ISSN = {1868-8969}, year = {2017}, volume = {74}, editor = {M\"{u}ller, Peter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.12}, URN = {urn:nbn:de:0030-drops-72656}, doi = {10.4230/LIPIcs.ECOOP.2017.12}, annote = {Keywords: configuration languages, Puppet, operational semantics} }
Published in: LIPIcs, Volume 59, 27th International Conference on Concurrency Theory (CONCUR 2016)
Roly Perera, Deepak Garg, and James Cheney. Causally Consistent Dynamic Slicing. In 27th International Conference on Concurrency Theory (CONCUR 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 59, pp. 18:1-18:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{perera_et_al:LIPIcs.CONCUR.2016.18, author = {Perera, Roly and Garg, Deepak and Cheney, James}, title = {{Causally Consistent Dynamic Slicing}}, booktitle = {27th International Conference on Concurrency Theory (CONCUR 2016)}, pages = {18:1--18:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-017-0}, ISSN = {1868-8969}, year = {2016}, volume = {59}, editor = {Desharnais, Jos\'{e}e and Jagadeesan, Radha}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2016.18}, URN = {urn:nbn:de:0030-drops-61584}, doi = {10.4230/LIPIcs.CONCUR.2016.18}, annote = {Keywords: pi-calculus; dynamic slicing; causal equivalence; Galois connection} }
Feedback for Dagstuhl Publishing